Composing Different Models of Computation in Kepler and Ptolemy II
نویسندگان
چکیده
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scientific workflow environment that allows for MoC composition. This paper explains how MoCs are combined in Kepler and Ptolemy II and analyzes which combinations of MoCs are currently possible and useful. It demonstrates the approach by combining MoCs involving dataflow and finite state machines. The resulting classification should be relevant to other workflow environments wishing to combine multiple MoCs.
منابع مشابه
Heterogeneous composition of models of computation
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing diverse MoCs in e-science. Kepler, which is based on Ptolemy II, is a scientific workflow environment that allows for MoC composition. This paper explains how MoCs are combined in Kepler and Ptolemy II and analyzes which combinations of MoCs are currently possible and useful. It demons...
متن کاملIntroducing Triquetrum, A Possible Future for Kepler and Ptolemy II
Triquetrum is an open platform for managing and executing scientific workflows that is under development as an Eclipse project. Both Triquetrum and Kepler use Ptolemy II as their execution engine. Triquetrum presents opportunities and risks for the Kepler community. The opportunities include a possibly larger community for interaction and a path for Kepler to move from Kepler’s one-off ant-base...
متن کاملSome Research Directions in the Ptolemy Project
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components. The software system Ptolemy II has been in public release for about nine months now, and includes a ...
متن کاملHeterogeneous Modeling and Design of Control Systems
Complex control systems integrate a variety of functions and capabilities, which will in general rely on different computational mechanisms. The plant model may be represented as a set of ordinary differential equations, the mode switching logic may be expressed as a finite state machine, and dataflow models may be used to capture the architecture of a sensor processing subsystem, for example. ...
متن کاملCo-simulation of Event-B and Ptolemy II Models via FMI
In the framework of model-based design formal modelling, verification and simulation of safety-critical systems are supported by several methods and tools. Interfacing these tools often becomes challenging for heterogeneous systems. The FMI standard enables integration of different simulation tools through artefacts called Functional Mockup Units (FMU) [1]. The FMI standard is mainly based on t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007